Extending - information delivery specification - for linking distributed model checking services

نویسندگان

چکیده

Since the amount and representation of required information in BIM is extensive, a possible extension Information Delivery Specification (IDS) format presented. This intended to offer possibility include further checking resources process, perform geometric topological addition semantic checks. The IDS uses dynamic links integrate external calculation services into process. functions service for concept validation were identified based on requirements simulation building energy models. result using format.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Model Checking Behavioral Specification of BPEL Web Services

BPEL is a business flow language which describes the composition of web services. Since business flow may be very complex, the method of formalized analysis can help ensure the accuracy of work flow. For web services described by BPEL, in this paper we establish a formalized analysis model, provide specifications and semantics of business flow, and finally translate it into the asynchronous com...

متن کامل

Extending the Multidimensional Model for Linking Cubes

Data warehouses structure data in multidimensional cubes, where dimensions specify different ways in which measures in facts may be viewed, aggregated, and sorted. It is essential for data analysts to combine data from heterogeneous multidimensional cubes to enhance their analysis capabilities. For this, users are restricted in using only shared dimensions for navigating related multidimensiona...

متن کامل

Structured English for Model Checking Specification

Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e., formulation and understanding of specifica...

متن کامل

Distributed Modular Model Checking

Model checking is a formal method that veri es whether a nite state model of a system satis es a speci cation gi v enas a temporal logic formula. The most severe problem model checking suffer from is the so called state explosion problem. Distribution is one of the techniques that combat the state explosion. The aim is to distribute the state space among a number of computers so as to be able t...

متن کامل

Model Checking Distributed Objects

We demonstrate how the use of synchronization primitives and threading policies in object middleware can lead to deadlocks. We identify that object middleware only has a few built-in synchronization and threading primitives and suggest to express them as stereotypes in UML models. We define the semantics of these stereotypes by a mapping to a process algebra. Finally, we apply model checkers to...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Computing in construction

سال: 2023

ISSN: ['2684-1150']

DOI: https://doi.org/10.35490/ec3.2023.266